COMMENT ⊗ VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 PRE @MS↔ C00003 ENDMK C⊗; PRE @MS↔ S↔ READ INIT↔ λ SA MS↔ S↔ READ↔